7

The Microbiome in Crohn's Disease

Year:
2017
Language:
english
File:
PDF, 786 KB
english, 2017
16

System ST toward a type system for extraction and proofs of programs

Year:
2003
Language:
english
File:
PDF, 200 KB
english, 2003
17

A semantical storage operator theorem for all types

Year:
1998
Language:
english
File:
PDF, 1.16 MB
english, 1998
19

Completeness, minimal logic and programs extraction

Year:
2001
Language:
english
File:
PDF, 130 KB
english, 2001
24

Getting results from programs extracted from classical proofs

Year:
2004
Language:
english
File:
PDF, 307 KB
english, 2004
41

Saddleback fever due to human granulocytic ehrlichiosis

Year:
1998
Language:
english
File:
PDF, 49 KB
english, 1998
44

Understanding the Pouch Microbiota: An Evolving Story

Year:
2012
Language:
english
File:
PDF, 125 KB
english, 2012
48

“Vira something”: a taste of the wrong medicine

Year:
1997
Language:
english
File:
PDF, 46 KB
english, 1997